WASHINGTON - A senior military official who was quarantining after interaction with another uniformed leader who contracted covid-19 has tested positive for the coronavirus, the Marine Corps said on Wednesday. Gen. Gary Thomas, the assistant commandant of the Marine Corps, received the positive test a day after he began quarantining, the service said in a statement.